Logic of Questions and Public Announcements
نویسندگان
چکیده
This paper aims to explore the role of questions in communication in a group of cooperative rational agents. Using epistemic representation of questions proposed in [6] we employ the framework of public announcement logic to explore the flow of information in the process of asking and replying questions in a group. We show that some of the erotetic notions we introduce nicely correspond to the standard epistemic ones.
منابع مشابه
Total Public Announcements
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead to an inconsistent state. We introduce an extension of the multi-modal logic S5n featuring total public announcements where an update cannot result in an inconsistency. We also study total public announcements in the c...
متن کاملPositive Announcements
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic (APAL), which restricts arbitrary public announcements to announcement of positive formu...
متن کاملSpeech acts as announcements
Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a...
متن کاملQuantifying over boolean announcements
Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct ✷φ intuitively expressing that “after every public announcement of a formula, formula φ is true.” The logic APAL is undecidable and it has an infinitary axiomatization. ...
متن کاملProviding an optimal model for gaining public trust in the Complaints System and Inspection Agency's announcements
This research seeks to provide an optimal model for gaining public trust in the Complaints System and Inspection Agency's announcements.In this research, a survey method and a researcher-made questionnaire were used. The study population was consist of customers and users of the complaint handling system and the organization's inspection reports in Mazandaran province comprising equal numbers o...
متن کامل